Die Berliner Gruppe um Hans Reichenbach, Kurt Lewin, Walter Dubislav, Alexander Herzberg, Kurt Grelling und Carl Gustav Hempel, die die »Gesellschaft für wissenschaftliche Philosophie« in Berlin leitete, verstand sich als gleichberechtigter Partner der Wiener Kollegen und schlug durchaus einen eigenständigen Weg zu »einer an der exakten Wissenschaft geschulten Philosophie« (Reichenbach) ein. Im öffentlichen und geistigen Leben der deutschen Hauptstadt spielte sie eine bedeutende Rolle, bevor ihre Mitglieder durch den Nationalsozialismus ins Exil gezwungen wurden. Nach ihrer Emigration haben Reichenbach, Hempel und (...) andere für die Entwicklung der analytischen Philosophie und der modernen Wissenschaftstheorie im angelsächsischen Sprachraum eine bedeutende Rolle gespielt. Der Band fasst erstmals in einer repräsentativen Auswahl die Texte der Berliner Gruppe in einer Anthologie zusammen und zeigt die Bedeutung und die Einheitlichkeit der Gruppe als – neben dem Wiener Kreis – zweitem Entstehungsort exakter Philosophie. (shrink)

In the 20th century among the greatest philosophers and literates there was an ample, ideal, wide ranging forum on the question of Europe to which, following a run already started by F. Nietzsche, M. Heidegger, E. Husserl, P. Valéry, Ortega y Gasset, Nikolaj Berdjaev, and after the second world war G. Gadamer, J. Habermas, J. Derrida and others offered meaningful contributions. The questions were: What will be of the spirit of Europe? What will be of Europe? Europe: quo vadis? (...) The aim of this paper is to articulate the meaningful stages of this historical forum through some essays of mentioned philosophers and literates. The first essay is the conference "Europa und die deutsche Philosophie”, delivered by Heidegger in Rome 1936 at the Kaiser-Wilhelm-Institut, the same year of the publication of Husserl’s Krisis. Thereafter, with the purpose of marking a clear discontinuity between the debate of the first half of the century and the second, I comment on Gadamer’s essay “Europa und die oikoumene”, published half a century after the conference of Heidegger, then the Gadamer’s essay "Das Erbe Europas”, 1989, in which Gadamer deduces on the existential condition of Europeans, today. At the end, I analyze Derrida’s pamphlet "L'autre cap suivi de la démocratie ajournie", English version “The Other Heading: Reflection on Today’s Europe”, that opens with the provocative and heretical Derridean gesture: To which concept, to what real individual, to what entity can we confer today the name of Europe? (shrink)

From 1901 till, at least, 1919, Russell persistently maintained that there are two kinds of logic, between which he sharply discriminated: mathematical logic and philosophical logic. In this paper, we discuss the concept of philosophical logic, as used by Russell. This was only a tentative program that Russell did not clarify in detail, so our task will be to make it explicit. We shall show that there are three (-and-a-half) kinds of Russellian philosophical logic: (i) “pure logic”; (ii) philosophical logic (...) investigating the logical forms of propositions; (iii) philosophical logic exploring the logical forms of facts: in epistemology; and in the external world. In particular, Russell’s program or philosophical logic of the facts of the external world remained less than sketchily outlined. We shall discuss it in some detail in the hope that it can start a new life. (shrink)

This is the introduction to Moretti, Luca and Nikolaj Pedersen (eds), Non-Evidentialist Epistemology. Brill. Contributors: N. Ashton, A. Coliva, J. Kim, K. McCain, A. Meylan, L. Moretti, S. Moruzzi, J. Ohlorst, N. Pedersen, T. Piazza, L. Zanetti.

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

Recent literature on Christian nationalism by sociologists of religion in the United States identifies a perceived novel phenomenon: the fusion of authoritarian governmental forms with Christianity. However, the socio-historical origin of this international trend has been left relatively unexplored. Therefore, the goal of this chapter is to create a single international account that lends itself to future comparative theoretical frameworks and analyses through the term "Christofascism." -/- The chapter can also be accessed on google books at the link included in (...) the description. Finally, order the book on Routledge's website, also linked in the description. (shrink)

Throughout the twentieth century a significant tradition in French thought promoted a highly dramatized reading of the Hegelian struggle for recognition. In this tradition a violent struggle was regarded as an indispensable means to the realization of both individual and social ideals. The following article considers Claire Denis's film I Can't Sleep as an oblique challenge to this tradition. I Can't Sleep performs a careful dedramatization of an extremely violent story and thereby points to the possibility of an alternative form (...) of co-existence outside a logic of conflict. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

We offer a critical survey of the most discussed accounts of epistemic peer disagreement that are found in the recent literature. We also sketch an alternative approach in line with a pluralist understanding of epistemic rationality.

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The article examines the conjunction of writing and the Hegelian theory of recognition as it appears in Jean-Paul Sartre's text "Why Write?" The author argues that Sartre's theory of literature is not only a theory of literature as conversation and communication, but also a theory about the relation to a certain silence, and since literature and recognition go together in Sartre's text, the presence of silence has consequences for his theory of recognition.

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Philosophers of science turned to historical case studies in part in response to Thomas Kuhn's insistence that such studies can transform the philosophy of science. In this issue Joseph Pitt argues that the power of case studies to instruct us about scientific methodology and epistemology depends on prior philosophical commitments, without which case studies are not philosophically useful. Here I reply to Pitt, demonstrating that case studies, properly deployed, illustrate styles of scientific work and modes of argumentation that are not (...) well handled by currently standard philosophical analyses. I illustrate these claims with exemplary findings from case studies dealing with exploratory experimentation and with interdisciplinary cooperation across sciences to yield multiple independent means of access to theoretical entities. The latter cases provide examples of ways that scientists support claims about theoretical entities that are not available in work performed within a single discipline. They also illustrate means of correcting systematic biases that stem from the commitments of each discipline taken separately. These findings illustrate the transformative power of case study methods, allow us to escape from the horns of Pitt's "dilemma of case studies," and vindicate some of the post-Kuhn uses to which case studies have been put. (shrink)

The article studies the impact of Fintech on entrepreneurship in Arabic region by using Crowdfunding platforms as the field of study. The article focuses on Arabic Crowdfunding platforms. The population of (12) platforms consist of: individuals, entrepreneurs, investors, employees at Crowdfunding platforms. Descriptive and quantitative approach used in this article, and a questionnaire used as a tool to collect primary data. The results indicate an impact for Fintech on entrepreneurship in general and obvious obstacles to use it widely in Arabic (...) region cause of legislations or e-payments. The article recommended more awareness for innovative products and services such as Fintech, Crowdfunding and adopting the culture of e-business models. Also the article promoting the process of developing regulations that organize e-business models, especially Fintech and Crowdfunding, the use of modern communication technology to serve the development of society, more interest to innovation and creativity as a key factor for entrepreneurial success. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

Environmental health research produces scientific knowledge about environmental hazards crucial for public health and environmental justice movements that seek to prevent or reduce exposure to these hazards. The environment in environmental health research is conceptualized as the range of possible social, biological, chemical, and/or physical hazards or risks to human health, some of which merit study due to factors such as their probability and severity, the feasibility of their remediation, and injustice in their distribution. This paper explores the ethics of (...) identifying the relevant environment for environmental health research, as judgments involved in defining an environmental hazard or risk, judgments of that hazard or risk's probability, severity, and/ or injustice, as well as the feasibility of its remediation, all ought to appeal to non-epistemic as well as epistemic values. I illustrate by discussing the case of environmental lead, a housing-related hazard that remains unjustly distributed by race and class and is particularly dangerous to children. Examining a controversy in environmental health research ethics where researchers tested multiple levels of lead abatement in lead-contaminated households, I argue that the broader perspective on the ethics of environmental health research provided in the first part of this paper may have helped prevent this controversy. (shrink)

This paper argues for a conception of the natural rights of non-human animals grounded in Kant’s explanation of the foundation of human rights. The rights in question are rights that are in the first instance held against humanity collectively speaking—against our species conceived as an organized body capable of collective action. The argument proceeds by first developing a similar case for the right of every human individual who is in need of aid to get it, and then showing why the (...) situation of animals is similar. I first review some of the reasons why people are resistant to the idea that animals might have rights. I then explain Kant’s conception of natural rights. I challenge the idea that duties of aid and duties of kindness to animals fit the traditional category of “imperfect duties” and argue that they are instead cases of “imperfect right.” I explain how you can hold a right against a group, and why it is legitimate to conceive of humanity as such a group. I then argue that Kant’s account of the foundation of property rights is grounded in a conception of the common possession of the Earth that grounds a right to aid and the rights of animals to be treated in ways that are consistent with their good. Finally, I return to the objections to the idea that animals have rights and offer some responses to them. (shrink)

This paper discusses ethical issues surrounding Integrated Assessment Models (IAMs) of the economic effects of climate change, and how climate economists acting as policy advisors ought to represent the uncertain possibility of catastrophe. Some climate economists, especially Martin Weitzman, have argued for a precautionary approach where avoiding catastrophe should structure climate economists’ welfare analysis. This paper details ethical arguments that justify this approach, showing how Weitzman’s “fat tail” probabilities of climate catastrophe pose ethical problems for widely used IAMs. The main (...) claim is that economists who ignore or downplay catastrophic risks in their representations of uncertainty likely fall afoul of ethical constraints on scientists acting as policy advisors. Such scientists have duties to honestly articulate uncertainties and manage (some) inductive risks, or the risks of being wrong in different ways. (shrink)

Any plausible ethics of belief must respect that normal agents are doxastically blameworthy for their beliefs in a range of non-exotic cases. In this paper, we argue, first, that together with independently motivated principles this constraint leads us to reject occurrentism as a general theory of belief. Second, we must acknowledge not only dormant beliefs, but tacit beliefs as well. Third, a plausible ethics of belief leads us to acknowledge that a difference in propositional content cannot in all contexts count (...) as a criterion for belief individuation. In some contexts, we need to individuate beliefs in a different manner, namely in such a way that they have at least part of their causal history essentially. (shrink)

If you want to understand McDowell's spatial metaphors when he talks about perceptual knowledge, place him side-by-side with Dretske on perceptual knowledge. Though McDowell shows no evidence of reading Dretske's writings on knowledge from the late 1960s onwards (McDowell mentions "Epistemic Operators" once in passing), McDowell gives the same four arguments as Dretske for the conclusion that knowledge requires "conclusive" reasons that rule of the possibility of mistake. Despite various differences, we think it is best to read McDowell as re-discovering (...) Dretske on perceptual knowledge. Since Dretske is easy to understand, all of McDowell's metaphors become easy to understand. But what about McDowell's disjunctivism? Turns out McDowell is not an ontological disjunctivist, and his epistemological disjunctivism is really just the banal point that some perceptual experiences provide conclusive reasons for perceptual belief and some do not. Perceptual experiences are either conclusive or inconclusive. Dretske would agree. (shrink)

We review the "Entitlement" projects of Tyler Burge and Crispin Wright in light of recent work from and surrounding both philosophers. Our review dispels three misunderstandings. First, Burge and Wright are not involved in a common “entitlement” project. Second, though for both Wright and Burge entitlement is the new notion, “entitlement” is not some altogether third topic not clearly connected to the nature of knowledge or the encounter with skepticism. Third, entitlement vs. justification does not align with the externalism vs. (...) internalism distinction. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

Contemporary Western societies are obsessed with the “obesity epidemic,” dieting, and fitness. Fat people violate the Western conscience by violating a thinness norm. In virtue of violating the thinness norm, fat people suffer many varied consequences. Is their suffering morally permissible, or even obligatory? In this paper, I argue that the answer is no. I examine contemporary philosophical accounts of oppression and draw largely on the work of Sally Haslanger to generate a set of conditions sufficient for some phenomena to (...) count as oppression, and I illustrate the account’s value using the example of gender oppression. I then apply the account to fat people, examine empirical evidence, and argue that the suffering of fat people counts as oppression. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

The Principal Principle (PP) says that, for any proposition A, given any admissible evidence and the proposition that the chance of A is x%, one's conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994a) has argued that PP contradicts HS, and the validity of his argument has been endorsed by Bigelow et al. (1993), Thau (1994), Hall (...) (1994), Strevens (1995), Ismael (1996), Hoefer (1997), and Black (1998). Against this consensus, I argue that PP might not contradict HS: Lewis's argument is invalid, and every attempt – within a broad class of attempts – to amend the argument fails. (shrink)

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

The aim of this study was to identify the obstacles facing the application of knowledge management and its impact on performance at Palestine Technical University-Kadoorei from the point of view of employees and to detect the differences between the average views of the study sample on the subject of the study according to some variables such as (gender, nature of work, Education Level, specialization, years of experience). The study followed the descriptive analytical method and the questionnaire as a tool for (...) study. It was distributed to 74 employees. After the questionnaire was distributed, the data was collected and coded and entered into the computer and processed statistically using the SPSS program. The study found that the percentage of approval of the obstacles to the application of knowledge management at Palestine Technical University-Kadoorei differed between few and large, and the relative weight of the axis was complete (68.2). The degree of awareness of the workers of the reality of performance excellence at the University of Palestine Technical-Kadoorei was between medium and very large. There is an impact of the constraints of the application of knowledge management on performance excellence at Palestine Technical University-Kadoorei. In light of the results of the previous study, the researchers recommended that the importance of knowledge management should be taken into account in order to raise the university's reputation and reputation at home and abroad and improve its services to students and the local community. And to promote the exchange of experiences and knowledge with local, regional and international universities in order to enhance the knowledge and preserve it and provide modern and sophisticated scientific techniques and use them in administrative and academic work at the university. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

Software piracy is older than the PC and has been the subject of several studies, which have found it to be a widespread phenomenon in general, and among university students in particular. An earlier study by Cohen and Cornwell from a decade ago is replicated, adding questions about downloading music from the Internet. The survey includes responses from 224 students in entry-level courses at two schools, a nondenominational suburban university and a Catholic urban college with similar student profiles. The study (...) found that there has been few if any changes in student opinions regarding the unauthorized duplication of copy- righted materials. Students generally felt that copying commercial software and downloading music from the Internet was acceptable and found that there was no significant correlation between student attitudes and their school’s religious affiliation or lack thereof. Additionally, the study found that a small but significant percentage of respondents considered the other questionable behaviors as ethically acceptable. Finally, the reasons for these attitudes are discussed as well as what colleges can do to correct the situation. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

This paper explores how the Leviathan that projects power through nuclear arms exercises a unique nuclearized sovereignty. In the case of nuclear superpowers, this sovereignty extends to wielding the power to destroy human civilization as we know it across the globe. Nuclearized sovereignty depends on a hybrid form of power encompassing human decision-makers in a hierarchical chain of command, and all of the technical and computerized functions necessary to maintain command and control at every moment of the sovereign's existence: this (...) sovereign power cannot sleep. This article analyzes how the form of rationality that informs this hybrid exercise of power historically developed to be computable. By definition, computable rationality must be able to function without any intelligible grasp of the context or the comprehensive significance of decision-making outcomes. Thus, maintaining nuclearized sovereignty necessarily must be able to execute momentous life and death decisions without the type of sentience we usually associate with ethical individual and collective decisions. (shrink)

How ought we to go about forming and revising our beliefs, arguing and debating our reasons, and investigating our world? If those questions constitute normative epistemology, then I am interested here in normative metaepistemology: the investigation into how we ought to go about forming and revising our beliefs about how we ought to go about forming and revising our beliefs -- how we ought to argue about how we ought to argue. Such investigations have become urgent of late, for the (...) methodology of epistemology has reached something of a crisis. For analytic epistemology of the last half-century has relied overwhelmingly on intuitions,1 and a growing set of arguments and data has begun to call this reliance on intuition seriously into question (e.g., Weinberg, Nichols, and Stich 2001; Nichols, Stich, and Weinberg 2003; Cummins 1998). Although that method has not been entirely without defenders (BonJour 1998; Bealer 1996; Jackson 1998; Sosa forthcoming; Weatherson 2003), these defenses have not generally risen to the specific challenges leveled by the anti-intuitionist critics. In particular, the critics have attacked specific ways of deploying intuitions, and the defenders have overwhelmingly responded with in-principle defenses of the cogency of appealing to intuition. An analogy here would be someone’s responding to arguments alleging systematic.. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Intuitions play an important role in contemporary philosophy. It is common for theories in epistemology, morality, semantics and metaphysics to be rejected because they are inconsistent with a widely and firmly held intuition. Our goal in this paper is to explore the role of epistemic intuitions in epistemology from a naturalistic perspective. Here is the question we take to be central: (Q) Ought we to trust our epistemic intuitions as evidence in support of our epistemological theories? We will understand this (...) question as employing an epistemic ‘ought’ – insofar as we aim at developing a correct epistemological theory, ought we to trust our epistemic intuitions as evidence for or against our epistemological theories? As it stands, (Q) needs further clarification. Whether something is trustworthy is relative to what (a) what it is and (b) what we’re asking it to do. Sam might trust Marie but not George to care for his children, while he might trust both to care for his pet fish. So in order to address (Q), we first need to explore two questions: What are epistemic intuitions? And what sort of epistemological theories do we want? We will take up each of these questions in the following sections. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

David Lewis (1980) proposed the Principal Principle (PP) and a “reformulation” which later on he called ‘OP’ (Old Principle). Reacting to his belief that these principles run into trouble, Lewis (1994) concluded that they should be replaced with the New Principle (NP). This conclusion left Lewis uneasy, because he thought that an inverse form of NP is “quite messy”, whereas an inverse form of OP, namely the simple and intuitive PP, is “the key to our concept of chance”. I argue (...) that, even if OP should be discarded, PP need not be. Moreover, far from being messy, an inverse form of NP is a simple and intuitive Conditional Principle (CP). Finally, both PP and CP are special cases of a General Principle (GP); it follows that so are PP and NP, which are thus compatible rather than competing. (shrink)

For centuries it has been a mainstay of European and American moral thought that keeping promises—and the allied activity of upholding contracts—is one of the most important requirements of morality. On some historically powerful views the obligation to uphold promises or contracts not only regulates private relationships, but also provides the moral foundation for our duty to support and obey legitimate governments. Some theorists believe that the concept of keeping promises has gradually moved to center stage in European moral thought. (...) They see this movement as part of an historical shift from a moral conception in which an individual’s duties are mainly externally imposed and unalterable, to a conception in which duties are largely chosen by the individual. (shrink)

The moral justification of intellectual property is often called into question when placed in the context of pharmaceutical patents and global health concerns. The theoretical accounts of both John Rawls and Robert Nozick provide an excellent ethical framework from which such questions can be clarified. While Nozick upholds an individuals right to intellectual property, based upon its conformation with Lockean notions of property and Nozicks ideas of just acquisition and transfer, Rawls emphasizes the importance of basic liberties, such as an (...) individuals right to health, superceding such secondary rights as intellectual property rights. From a policy perspective, patent protection for pharmaceutical products necessarily entails the balancing of corporate intellectual property interests and public interests in healthcare. The moral dilemma that occurs when these two interests clash is not easily resolved. Aside from corporate and public interests, the state maintains an interest in creating and preserving policies that regulate the moral dilemma itself. This paper analyzes the economic and ethical factors surrounding the production and distribution of the anti-HIV medication, AZT. Potential policy implications and recommendations are also discussed. (shrink)

Do perceptual states necessarily constitute evidence epistemically supporting corresponding perceptual beliefs? Susanna Schellenberg thinks so. She argues that perceptual states, veridical or not, necessarily provide (or constitute) a kind of evidence (for the existence of the truth-maker) supporting corresponding perceptual beliefs. She uses “phenomenal evidence” as a label for this kind of evidence and calls her argument “The Phenomenal Evidence Argument.” Having introduced her project, we offer a reconstruction of Schellenberg’s argument. A key premise has it that, necessarily, for items (...) with a function, fulfillment of the function (the good case) is explanatorily and metaphysically prior to function failure (the bad case). We suggest that the etiological theory of functions renders this key premise plausible. However, Schellenberg rejects the etiological theory of functions and likewise the idea that the epistemic or warranting force of perceptual states is grounded in their being reliably linked to veridical perception. But then what supports the key premise? Schellenberg argues that accurate perception is a part of the nature of perceptual capacities because the nature of perceptual capacities is explained in terms of their function, and their function is to represent accurately. We suggest that Schellenberg is committed to an understanding of priority which doesn’t require any actual good cases—just possible ones. This reading, we argue, is too weak to support the key premise. Given Schellenberg’s commitments, it is not necessarily the case that perceptual states are evidence for a corresponding perceptual belief. Before concluding we discuss an overgeneralization objection. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

The Berlin Group was an equal partner with the Vienna Circle as a school of scientific philosophy, albeit one that pursued an itinerary of its own. But while the latter presented its defining projects in readily discernible terms and became immediately popular, the Berlin Group, whose project was at least as sig-nificant as that of its Austrian counterpart, remained largely unrecognized. The task of this chapter is to distinguish the Berliners’ work from that of the Vienna Circle and to bring (...) to light its impact in the history of scientific philosophy. (shrink)

Coronavirus disease 2019 can lead to respiratory failure. Some patients require extracorporeal membrane oxygenation support. During the current pandemic, health care resources in some cities have been overwhelmed, and doctors have faced complex decisions about resource allocation. We present a case in which a pediatric hospital caring for both children and adults seeks to establish guidelines for the use of extracorporeal membrane oxygenation if there are not enough resources to treat every patient. Experts in critical care, end-of-life care, bioethics, and (...) health policy discuss if age should guide rationing decisions. (shrink)

Patient-funded trials are gaining traction as a means of accelerating clinical translation. However, such trials sidestep mechanisms that promote rigor, relevance, efficiency, and fairness. We recommend that funding bodies or research institutions establish mechanisms for merit review of patient-funded trials, and we offer some basic criteria for evaluating PFT protocols.